projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2786d9) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Sun, 19 Aug 2018 18:06:13 +0000 (19:06 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Sun, 19 Aug 2018 18:06:13 +0000 (19:06 +0100)
commit7965440c22ca5b0fc224b4ce96a0a0fb57f6a2f4
tree8dae4775a91f9b5046c3f6c4a446f805fe49cc86tree | snapshot
parentc2786d9a73e2fe4846d401dbb32a36e13851c557commit | diff
openjdk10

===================================================================

Gbp-Pq: Name openjdk10.patch
ompi/mpi/java/java/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.